Add patch to fix xmldoc build.

diff --git a/debian/patches/series b/debian/patches/series
index e4088a8554d8011d0b55e627979ee80aa18397dc..33ddbde083e077f09788503409c40a1b29009909 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
+xmldoc_formats_garmin_gpi
 osm-char-int-cast-bug-fix
 no-gpsbabel-pdf

diff --git a/debian/patches/xmldoc_formats_garmin_gpi b/debian/patches/xmldoc_formats_garmin_gpi
new file mode 100644 (file)
index 0000000..1735353
--- /dev/null
+++ b/debian/patches/xmldoc_formats_garmin_gpi
@@ -0,0 +1,11 @@
+--- a/xmldoc/formats/garmin_gpi.xml
++++ b/xmldoc/formats/garmin_gpi.xml
+@@ -15,7 +15,7 @@
+ </para>
+ <important>
+ <para>
+-   Creation timestamp issue: See option <link linkend="fmt_garmin_gpi.html#fmt_garmin_gpi_o_sleep">sleep</link> !!!
++   Creation timestamp issue: See option <link linkend="fmt_garmin_gpi_o_sleep">sleep</link> !!!
+ </para>
+ <para>
+       This module does not support direct transfer of .GPI files to